Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
نویسندگان
چکیده
منابع مشابه
Residually Finite, Congruence Meet-semidistributive Varieties of Finite Type Have a Finite Residual Bound
We show that a residually finite, congruence meet-semidistributive variety of finite type is residually < N for some finite N . This solves Pixley’s problem and a special case of the restricted Quackenbush problem.
متن کاملA Finite Basis Theorem for Residually Finite, Congruence Meet-Semidistributive Varieties
We derive a Mal'cev condition for congruence meet-semidistributivity and then use it to prove two theorems. Theorem A: if a variety in a nite language is congruence meet-semidistributive and residually less than some nite cardinal, then it is nitely based. Theorem B: there is an algorithm which, given m < ! and a nite algebra in a nite language, determines whether the variety generated by the a...
متن کاملCongruence semimodular varieties I: Locally finite varieties
The lattice of closed subsets of a set under such a closure operator is semimodular. Perhaps the best known example of a closure operator satisfying the exchange principle is the closure operator on a vector space W where for X ___ W we let C(X) equal the span of X. The lattice of C-closed subsets of W is isomorphic to Con(W) in a natural way; indeed, if Y _~ W x W and Cg(Y) denotes the congrue...
متن کاملA Finite Basis Theorem for Difference-term Varieties with a Finite Residual Bound
We prove that if V is a variety of algebras (i.e., an equationally axiomatizable class of algebraic structures) in a finite language, V has a difference term, and V has a finite residual bound, then V is finitely axiomatizable. This provides a common generalization of R. McKenzie’s finite basis theorem for congruence modular varieties with a finite residual bound, and R. Willard’s finite basis ...
متن کاملFinite Axiomatizability of Congruence Rich Varieties
In this paper we introduce the notion of a congruence rich variety of algebras, and investigate which locally finite subvarieties of such a variety are relatively finitely based. We apply the results obtained to investigate the finite axiomatizability of an interesting variety generated by a particular five-element directoid. Roughly speaking, congruence rich varieties are those in which all la...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1999
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-99-05097-2